Business Process Verification: A Petri Net Approach

Business process verification: a Petri Net approach i

In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributed business process. We start with a description and motivation of different notio...

Improving control flow verification in a business process using an extended Petri net

In a business process, control flow decisions are based on the evaluation of conditions. Thus, conditions must be considered for control flow verification. This paper shows how the Petri nets based control flow verification can be improved by analysing conditions and logical relations between them. We outline a Petri net extension with predicate transitions, which are responsible for conditions...

Business Process Redesign : A Petri - net - based approachW

In 1992, he completed his PhD thesis on Petri nets and their application to logistics. His research interests are in simulation, information systems, business process redesign, manufacturing and real-time systems. He is also working as a part-time consultant for Bakkenist Management Consultants. Kees van Hee studied Mathematics at the University of Leiden. In 1978 he completed his PhD thesis in...

Verification Of Workflow Task Structures: A Petri-net-baset Approach

| While many work ow management systems have emerged in recent years, few of them provide any form of support for veri cation. Consequently, most work ows become operational before they have been thoroughly checked. This frequently results in runtime errors which need to be corrected on-they at, typically, prohibitive costs. This paper shows how veri cation of a typical process control speci ca...

Modeling Business Processes - A Petri Net-Oriented Approach